Merge debian/ from archive/debian/4.8.0_rc3-1
authorIan Jackson <ian.jackson@citrix.com>
Fri, 11 Nov 2016 15:09:13 +0000 (15:09 +0000)
committerIan Jackson <ian.jackson@citrix.com>
Fri, 11 Nov 2016 15:10:22 +0000 (15:10 +0000)
commit4389821e110b7e358aacb91d7d6fc5f4725e47b2
tree791e16e437103976fd4a48f2b80fe7f3bfae1111
parent496673a2ada93c201fbe1cc83146c8bd8e79169d
parent1c9fdc42cb7045743d6d731040cafb1d935f9eaa
Merge debian/ from archive/debian/4.8.0_rc3-1

(And discard old debian/patches/)